What (who) is type class - definition
![''Landing ship No.5'']] carried ''Type 'C' No.69''.](https://commons.wikimedia.org/wiki/Special:FilePath/Japanese landing ship LS-5.jpg?width=200 "''Landing ship No.5'']] carried ''Type 'C' No.69''.")
.jpg?width=200 "HMAS ''Kuttabul'' after sinking.")
![The two midget submarines sunk in Sydney Harbour were used to construct a composite midget submarine which toured [[Australia]] during the war.](https://commons.wikimedia.org/wiki/Special:FilePath/Midget sub (AWM P03932 002).jpg?width=200 "The two midget submarines sunk in Sydney Harbour were used to construct a composite midget submarine which toured [[Australia]] during the war.")
Wikipedia
In computer science, a type class is a type system construct that supports ad hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint typically involves a type class T and a type variable a, and means that a can only be instantiated to a type whose members support the overloaded operations associated with T.
Type classes were first implemented in the Haskell programming language after first being proposed by Philip Wadler and Stephen Blott as an extension to "eqtypes" in Standard ML, and were originally conceived as a way of implementing overloaded arithmetic and equality operators in a principled fashion. In contrast with the "eqtypes" of Standard ML, overloading the equality operator through the use of type classes in Haskell does not require extensive modification of the compiler frontend or the underlying type system.
